$\forall$$T$:Type, $X$:MaInterface(Top + $T$). ma{-}interface{-}right($X$) $\in$ MaInterface($T$)